基于分阶段筛选评估的合同网任务分配机制

基于合同网的任务分配机制广泛应用于各领域的多Agent系统中，以解决分布式任务分配问题。在分析经典合同网协议优缺点的基础上，提出了分阶段筛选与招投标协商相结合的任务分配模型。通过招投标的可计算性评估，将主要计算任务放在招投标Agent内部进行并且缩小招投标范围，从而减少通信并提高效率；通过动态确定评估指标提高了机制的通用性。     

有色Petri网在车辆综电系统总线建模中的应用

针对运用解析法对车辆电子系统进行建模分析困难这一问题,运用CPNs构建综合电子系统模型.提出了系统的建模分析方法,运用CPN_Tools进行建模,得出了某型车辆总线的系统模型.实验结果证明,基于CPNs的车辆综合电子系统总线建模的正确性与可行性.     

一个新的电子发票协议及其公平性分析

在克服著名电子发票服务IBS协议缺陷的基础上,提出了一个新的电子发票服务协议.同时,采用新的基于扩展Kailar逻辑的分析方法对新协议进行了公平性形式化分析与修改,最终得到一个可以工作在不可靠信道上的公平电子发票服务协议.     

甲乙类厂（库）房火灾风险评估方法研究

随着甲乙类厂（库）房规模、数量及生产（储存）的物质性质多样性的增加,其火灾危险性也大大提高。为了正确评价甲乙类厂（库）房的火灾危险性,以便为业主、保险公司、消防决策者等做出合理决策提供一定的参考,在介绍甲乙类厂（库）房定义的基础上,具体分析了国内外火灾风险评估方法的研究现状和评估方法分类。     

针对SCPS-NP的协议分析方法

描述了卫星通信协议中网络层协议SCPS-NP的基本结构,阐述了BM算法与ID3算法原理,提出了一种新的针对空间传输协议的有效分析方法———NP-BM-ID3算法,并通过仿真实验进行验证。实验结果表明：通过将原有的数据集分类,该算法不仅有效地解决了模式串长度不足问题,而且减少了规则总数,在条件属性数量不变的情况下降低了运算复杂度。     

陆战Agent自主协作机制模型研究

陆战Agent是陆军作战复杂系统ABMS核心的基础要素,友方陆战Agent之间的协作机制是陆军作战复杂系统演化运行的关键支撑之一。陆战Agent之间的协作可归纳为自主协作和上级统一组织协作两种模式。陆战Agent之间的自主协作,与一般Agent系统中的协作模式相同,但由于陆军作战的特殊性,必须研究符合作战特点的陆战Agent自主协作机制。针对陆战Agent自主协作特点,对合同网协议进行了改进,探讨了陆战Agent自主协作机制模型的功能结构、框架、策略、流程和实施步骤,为陆军作战复杂系统的ABMS奠定了基础。     

智能1553B接口软核实现技术

为了提高计算机系统数据处理能力,防止数据丢失现象,减小接口板空间,同时方便接口模块的修改、扩展和升级,提出了一种基于Nios II软核处理器的智能1553B接口软核实现技术。系统设计以软硬件协同工作的形式实现。硬件设计是通过在一片Altera公司Cyclone II系列的FPGA芯片上配置Nios II软核处理器、PCI接口、存储器接口、自定义接口逻辑等来生成SOPC,最后在FPGA外添加外围总线控制器芯片来实现。以硬件设计为基础,以软件设计完成1553B数据传输功能。由于采用了软核设计技术,使得系统具有了设计灵活、集成度高、低成本等优点。     

三角域上带多个形状参数的二次Bézier曲面片

对于三角域上二次Bézier曲面的形状调整问题,给出了带6个形状参数的拟二次Bernstein基函数。分析了该组基函数的性质,并由此组基函数定义了三角域上带形状参数的二次Bézier曲面片,该曲面片不仅具有三角域上二次Bézier曲面片的性质,而且在控制网格保持不变的条件下,具有形状可调性。形状参数具有明确的几何意义。实例表明：构造的曲面为几何造型中的曲面设计提供了有效的方法。     

云计算安全协议设计

分析了目前云计算服务中存在的应用风险和安全隐患,并将其抽象为两方面的问题,即安全边界问题和用户服务资源映射问题。为了解决这两个方面的问题,根据云计算系统的实际需求,给出云计算服务的一种普适性的定义;在此定义基础上,提出了云计算服务的安全框架,并设计了云计算服务各层协议集合。在这个框架和协议集合下,分析了保证云计算服务正常执行所需的四方面要素,以及将诸要素较好地整合在一起的方法。     

软件密集型装备项目质量管理研究

软件密集型装备质量是决定战场胜负的关键要素之一,文章分析了软件密集型装备项目质量管理的基本概念和依据标准、探讨了加强软件密集型装备项目质量管理的主要措施,包括采用过程方法建立质量管理体系、建立全面的质量管理文件和记录、实施重点质量控制方法三方面。